S : Set; S = S
